#include <stdio.h>

int main(void)
{
	printf("sum = %d\n", 014 + 12 + 0xc);
	
	return 0;
}